Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
201	Other Cultures Within: Beyond the Naming of Things (John W. Kluge Center at the Library of Congress) Add to Reading List Source URL: www.loc.gov Language: English - Date: 2012-03-21 16:19:29 Interculturalism Interculturality Creolization Multiculturalism American Sign Language Ada Kluge Computing Software engineering Computer programming
202	COMPUTING SCIENCE COURSE SUMMARIES INTRODUCTORY CSE1010: COMPUTER SCIENCE 1 Students explore hardware, software and processes. This includes an introduction to the algorithm as a problem-solving tool, to programming lang Add to Reading List Source URL: education.alberta.ca Language: English - Date: 2010-10-05 10:04:56 Computer programming Programming language Object-oriented programming Structured programming Procedural programming C Ada Database Comparison of programming languages Software engineering Computing Programming paradigms
203	Tec hnical Datash e e t › › › Add to Reading List Source URL: www.qa-systems.com Language: English - Date: 2013-04-03 08:34:25 Computer programming Ada programming language Procedural programming languages Acronyms GNAT Ada Dynamic testing Code coverage C Software engineering Computing Software testing
204	Microsoft Word - GiveThePeopleWhatTheyWant-DIS2014-8-authors Add to Reading List Source URL: hcil2.cs.umd.edu Language: English - Date: 2014-01-24 10:00:59 Human–computer interaction Computer programming Human communication Scientific revolution Programming language Usability Ada User interface Programmer Computing Software engineering Programming language theory
205	Proposal template Proposals must be submitted: as a single file in PDF format in the language stated in the call announcement to the address given in the call announcement (request a delivery receipt) before the date and Add to Reading List Source URL: www.fed4fire.eu Language: English - Date: 2013-05-02 16:54:50 Ada Software development process Computing Software engineering Computer programming
206	A Prototyping Language for Rapid Reuse : Technical Proposal Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2006-11-26 00:00:00 Programming paradigms Lisp programming language Cross-platform software Functional languages Common Lisp Ada Object-oriented programming Prototype Programming language Software engineering Computing Computer programming
207	Generic Programming David R. Mussery Rensselaer Polytechnic Institute Computer Science Department Amos Eaton Hall Troy, New York 12180 Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Generic programming Abstraction Algorithm Linked list Programming language Data type Ada Data structure Computing Software engineering Computer programming
208	Weaving Ada 95 into the .Net Environment Martin C. Carlisle, Ricky E. Sward, and Jeffrey W. Humphries Department of Computer Science United States Air Force Academy {Martin.Carlisle,Ricky.Sward,Jeffrey.Humphries}@usafa. Add to Reading List Source URL: asharp.martincarlisle.com Language: English - Date: 2009-05-29 13:55:34 Cross-platform software Assembly languages Computing platforms .NET framework Common Intermediate Language Ada Java C Sharp .NET assembly Computing Software engineering Computer programming
209	Martin C. Carlisle Department of Computer Science 328 Luxury Ln. US Air Force Academy Colorado Springs, CO[removed] Add to Reading List Source URL: www.martincarlisle.com Language: English - Date: 2012-10-31 16:39:33 Ada programming language Ada Association for Computing Machinery A Sharp SIGCSE Computer science Computing Software engineering Computer programming
210	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming

UPDATE